Endrullis, Jörg: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Syllogistic logic with “Most”

Endrullis, Jörg, Moss, Lawrence S.

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 596 KB

english, 2019

2

Fast leader election in anonymous rings with bounded expected delay

Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 169 KB

english, 2011

3

Productivity of stream definitions

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.43 MB

english, 2010

4

On equal -terms

Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 878 KB

english, 2011

5

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

6

Lazy productivity via termination

Jörg Endrullis, Dimitri Hendriks

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 393 KB

english, 2011

7

Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

8

Highlights in infinitary rewriting and lambda calculus

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 982 KB

english, 2012

9

De Bruijn’s weak diamond property revisited

Endrullis, Jörg, Klop, Jan Willem

Journal:

Indagationes Mathematicae

Year:

2013

Language:

english

File:

PDF, 794 KB

english, 2013

10

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Fixed Point Combinators and Clocked Böhm Trees

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

11

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Automating the Mean-Field Method for Large Dynamic Gossip Networks

Bakhshi, Rena, Endrullis, Jorg, Endrullis, Stefan, Fokkink, Wan, Haverkort, Boudewijn

Year:

2010

Language:

english

File:

PDF, 467 KB

english, 2010

12

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Automatic Sequences and Zip-Specifications

Grabmayer, Clemens, Endrullis, Jorg, Hendriks, Dimitri, Klop, Jan Willem, Moss, Lawrence S.

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

13

On the complexity of stream equality

ENDRULLIS, JÖRG, HENDRIKS, DIMITRI, BAKHSHI, RENA, ROŞU, GRIGORE

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 634 KB

english, 2014

14

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - Brief announcement

Bakhshi, Rena, Endrullis, Jörg, Fokkink, Wan, Pang, Jun

Year:

2010

Language:

english

File:

PDF, 367 KB

english, 2010

15

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - On the complexity of equivalence of specifications of infinite objects

Endrullis, Jörg, Hendriks, Dimitri, Bakhshi, Rena

Year:

2012

Language:

english

File:

PDF, 733 KB

english, 2012

16

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - On periodically iterated morphisms

Endrullis, Jörg, Hendriks, Dimitri

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

17

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Regularity Preserving but Not Reflecting Encodings

Endrullis, Jorg, Grabmayer, Clemens, Hendriks, Dimitri

Year:

2015

Language:

english

File:

PDF, 306 KB

english, 2015

18

Majority Digraphs

Lai, Tri, Endrullis, Jörg, Moss, Lawrence S.

Journal:

Proceedings of the American Mathematical Society

Year:

2016

Language:

english

File:

PDF, 225 KB

english, 2016

19

Clocked lambda calculus

ENDRULLIS, JÖRG, HENDRIKS, DIMITRI, KLOP, JAN WILLEM, POLONSKY, ANDREW

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 309 KB

english, 2017

20

Degrees of Infinite Words, Polynomials and Atoms

Endrullis, Jörg, Karhumäki, Juhani, Klop, Jan Willem, Saarela, Aleksi

Journal:

International Journal of Foundations of Computer Science

Year:

2018

Language:

english

File:

PDF, 492 KB

english, 2018

21

Transducer degrees: atoms, infima and suprema

Endrullis, Jörg, Klop, Jan Willem, Bakhshi, Rena

Journal:

Acta Informatica

Year:

2019

File:

PDF, 1.42 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски